Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems

A narrowing tree for a constructor term rewriting system and a pair of terms is a finite representation for the space of all possible innermost-narrowing derivations that start with the pair and end with non-narrowable terms. Narrowing trees have grammar representations that can be considered regular tree grammars. Innermost narrowing is a counterpart of constructor-based rewriting, and thus, narrowing trees can be used in analyzing constructor-based rewriting to normal forms. In this paper, using grammar representations, we extend narrowing trees to syntactically deterministic conditional term rewriting systems that are constructor systems. We show that narrowing trees are useful to prove two properties of a normal conditional term rewriting system: one is infeasibility of conditional critical pairs and the other is quasi-reducibility

Few-shot Personalized Saliency Prediction Based on Inter-personnel Gaze Patterns

This paper presents few-shot personalized saliency prediction based on inter-personnel gaze patterns. In contrast to a general saliency map, a personalized saliecny map (PSM) has been great potential since its map indicates the person-specific visual attention that is useful for obtaining individual visual preferences from heterogeneity of gazed areas. The PSM prediction is needed for acquiring the PSM for the unseen image, but its prediction is still a challenging task due to the complexity of individual gaze patterns. For modeling individual gaze patterns for various images, although the eye-tracking data obtained from each person is necessary to construct PSMs, it is difficult to acquire the massive amounts of such data. Here, one solution for efficient PSM prediction from the limited amount of data can be the effective use of eye-tracking data obtained from other persons. In this paper, to effectively treat the PSMs of other persons, we focus on the effective selection of images to acquire eye-tracking data and the preservation of structural information of PSMs of other persons. In the experimental results, we confirm that the above two focuses are effective for the PSM prediction with the limited amount of eye-tracking data.Comment: 5pages, 3 figure

catena-Poly[[(ethanol-κO)sodium(I)]-di-μ-aqua-[(rac-2′-hydr­oxy-1,1′-binaphthyl-2-yl phosphato-κO)sodium]-tri-μ-aqua]

The asymmetric unit of the polymeric title compound, [Na2(C20H13O5P)(C2H6O)(H2O)5]n, consists of two NaI ions, one 2′-hydr­oxy-1,1′-binaphthyl-2-yl phosphate anion, one ethanol ligand and five water molecules of crysallization. Each NaI ion has a distorted octa­hedral coordination geometry. The phosphate anion coordinates to one NaI ion and the ethanol mol­ecule coordinates to the other. The five water mol­ecules bridge the NaI ions, forming an inorganic chain structure along the b axis. The chains are connected by O—H⋯O hydrogen bonds into an organic–inorganic hybrid layer parallel to (001)

Asynchronous Bilateral Body Bending Enables Fast Cheetah-like Rotary Galloping

The 11th International Symposium on Adaptive Motion of Animals and Machines. Kobe University, Japan. 2023-06-06/09. Adaptive Motion of Animals and Machines Organizing Committee.Poster Session P

Photoluminescence Enhancement of β-FeSi2 Nanocrystals Controlled by Transport of Holes in Cu-doped n-type Si Substrates

We have investigated PL behavior of β-FeSi2 nanocrystals controlled by transport of holes in Cu-doped n-type Si substrates. PL enhancement was observed and PCI-PL measurements revealed that PL enhancement was attributed to a transport process of holes with a larger time constant in Cu-doped n-Si substrate in which an interval trap process is controlled by Cu doping.International Conference and Summer School on Advanced Silicide Technology 2014, July 19–21, 2014, Tokyo, Japa

IR Absorption Nnalysis of Oxidation Behaviors of Nano-composite Phases with β-FeSi2 Nanocrystals and Si

We have investigated oxidation behaviors of nano-composite phase with β-FeSi2 nanocrystals (β-NCs) and Si on Si substrates. IR absorption measurements revealed that only oxidation of Si into SiO2 proceeded in the nano-composite phase. This fact is very important for realization of a novel composite phase with β-NCs and SiO2, which may contribute to enhancement of light emission and to prevent a large thermal quenching of light emission observed in the composite phase with β-NCs and Si.International Conference and Summer School on Advanced Silicide Technology 2014, July 19–21, 2014, Tokyo, Japa

Enhancement of Photoluminescence from Cu-doped β-FeSi2/Si Heterostructures

We have investigated photoluminescence (PL) behaviors of the Cu-doped β-FeSi2 thin film/Si heterostructure. Pronounced enhancement of an intrinsic A band and an impurity-related C band emissions has been observed in all the Cu-doped samples. The photo-carrier injection (PCI)-PL measurements have revealed that the PL enhancement is attributed to dynamic process of migration of holes where a repeated trap process of holes can be controlled by Cu-doping.International Conference and Summer School on Advanced Silicide Technology 2014, July 19–21, 2014, Tokyo, Japa

Photoluminescence Property of Nano-composite Phases of β-FeSi2 Nanocrystals Embedded in SiO2

We have investigated photoluminescence (PL) behaviors of nano-composite phase of β-NCs embedded in SiO2 (β-NCs/SiO2). The inhomogeneous spectra consisting of the A, B, and C emission bands were observed. PL enhancement also was confirmed in comparison with β-NCs/Si. Under high pumping rate, we observed PL spectra near room temperatures (~270 K). This fact means that oxidation of the nano-composite phase can contribute to reduction of thermal quenching, which may come from increase of band offsets around β-NCs.International Conference and Summer School on Advanced Silicide Technology 2014, July 19–21, 2014, Tokyo, Japa